- параллельная верификация
- in-process verification
Русско-английский словарь по машиностроению. Академик.ру. 2011.
Русско-английский словарь по машиностроению. Академик.ру. 2011.
AnyLogic — Тип Программы имитационного моделирования Разработчик XJ Technologies (Экс Джей Текнолоджис) (AnyLogic Company) Написана на Java SE Операционная система Microsoft Windows … Википедия
Прогноз — (Forecast) Определение прогноза, задачи и принципы прогнозирования Определение прогноза, задачи и принципы прогнозирования, методы прогнозирования Содержание Содержание Определение Основные понятия прогностики Задачи и принципы прогнозирования… … Энциклопедия инвестора
Время реакции (reaction time) — Измерение времени реакции (ВР), вероятно, самый почтенный предмет в эмпирической психологии. Оно зародилось в области астрономии, в 1823 г., с измерением индивидуальных различий в скорости восприятия пересечения звездой линии риски телескопа. Эти … Психологическая энциклопедия
Объектно-ориентированное программирование — Эта статья во многом или полностью опирается на неавторитетные источники. Информация из таких источников не соответствует требованию проверяемости представленной информации, и такие ссылки не показывают значимость темы статьи. Статью можно… … Википедия
Математическая теория доказательств — Теория доказательств (англ. proof theory) раздел математической логики, в котором феномен математического доказательства сам становится объектом, например алгебры или арифметики. Доказательство обычно представляют как индуктивно возникающие… … Википедия